A Holistic View for Modeling and Testing of User Interactions Using Finite-State Techniques

With the growing complexity of the computer-based system, also their user interfaces, mostly materialized graphically, become more complex, accordingly making the test and analysis process more and more tedious and costly. The paper introduces a holistic view of fault modeling that can be carried out as a complementary step to system modeling, enabling a precise scalability of the test process, revealing much rationalization potential. Finite-state based notions and tools enable to introduce efficient algorithms to generate and select test cases systematically. The elements of the approach will be illuminated and validated by realistic examples.